satistiability problem
[计] 可满足性问题
热门查询
- molester n. 猥亵者；性骚扰者
- methylation n. [有化] 甲基化，甲基化作用
- sackful n. 满袋；多量
- marksmanship n. 射击术，枪法
- Yale n. 野迩（神话动物，形似羚羊）
- soloist n. 独奏者；独唱者
- hypnotherapy n. [心理][临床] 催眠疗法
- stupendous adj. 惊人的；巨大的
- salle n. <法>大厅，室
- relevant adj. 相关的；切题的；中肯的；有重大关系的；有意义的，目的明确的
- durum n. 硬质小麦
- MacArthur n. 麦克阿瑟(美国五星上将)
- repossession n. 恢复；取回
- flaked adj. 精疲力竭的，失去知觉的，睡去的
- Colwyn 科尔温（英国地名）
- Antonin n. 安东尼（人名） n. (Antonin)人名；(塞、西、俄)安东宁；(法)安托南
- doughy adj. 面团似的；柔软的；苍白的；半熟的
- guardedly adv. 被保护着地；防护着地
- godfrey n. 男人名
- aggiornamento n. 现代化；机构或组织之现代化
